Symbolic Software Model Validation Cynthia Sturton,1 Rohit Sinha,2 Thurston H.Y. Dang,2 Sakshi Jain,2 Michael McCoyd,2 Wei Yang Tan,2 Petros Maniatis,3 Sanjit A. Seshia,2 and David Wagner 2 1 University of North Carolin

Source URL: www.eecs.berkeley.edu

Influence Maximization in Social Networks When Negative Opinions May Emerge and Propagate∗ Wei Chen Alex Collins Rachel Cummings David Rincon

Source URL: users.cms.caltech.edu

Preprint, Version 2.2 ON WEIGHTED ZERO-SUM SEQUENCES SUKUMAR DAS ADHIKARI, DAVID J. GRYNKIEWICZ AND ZHI-WEI SUN1 Abstract. Let G be a finite additive abelian group with exponent exp(G) = n > 1 and let A be a nonempty sub

Source URL: www.diambri.org

Precise Power Characterization of Modern Android Devices Wei Lin Carnegie Mellon University Pittsburgh, PA <>

Source URL: unrevoked.com

Gregorian-Lunar Calendar Conversion Table ofJi-wei – year of the Goat) Gregorian date 1

Source URL: www.weather.gov.hk

• Solar System
• Spherical astronomy
• Units of time
• Moon
• Astronomy
• Time
• Lunar calendar
• March equinox
• Month
• Chinese calendar

Favorable Attributes of Alkaline-Surfactant-Polymer Flooding Shunhua Liu, SPE, Rice University; Danhua Leslie Zhang, SPE, Intertek Westport; Wei Yan, SPE, Bechtel; and Maura Puerto, George J. Hirasaki, SPE, and Clarence

Source URL: www.owlnet.rice.edu

A Proof Slicing Framework for Program Verification Ton Chanh Le, Cristian Gherghina, Razvan Voicu, and Wei-Ngan Chin Department of Computer Science, National University of Singapore Abstract. In the context of program ve

Source URL: www.comp.nus.edu.sg

Combating neglected tropical diseases Wei Wang Jiangsu Institute of Parasitic Diseases Key Laboratory on Technology of Parasitic Disease Prevention and Control, Ministry of

Source URL: www.omicsonline.org

Technical advance Metabolite profiling of blood from individuals undergoing planned myocardial infarction reveals early markers of myocardial injury Gregory D. Lewis,1,2,3,4 Ru Wei,4 Emerson Liu,1,2,3 Elaine Yang,4 Xu S

Source URL: cegs1.dfci.harvard.edu

Take This Personally: Pollution Attacks on Personalized Services Xinyu Xing, Wei Meng, and Dan Doozan, Georgia Institute of Technology; Alex C. Snoeren, University of California, San Diego; Nick Feamster and Wenke Lee, G

Source URL: wenke.gtisc.gatech.edu